top_command (Cmd_load currentFile [])
-- The following command should succeed.
goal_command 0 (Cmd_give WithForce) "f"
